可信软件研究

可信软件是近年来软件工程领域研究的热点,装备软件可信性的研究有助于提升我国国防武器装备的作战效能。首先分析了进行装备软件可信相关研究的必要性;然后阐述可信软件技术的研究现状,主要包括软件可信度量和评估、可信软件的构造与验证、可信软件的演化与控制等三个方面;最后分析了研究可信装备软件面临的挑战。     

微结构阵列超精密车床快刀伺服装置及试验研究

各种微结构阵列在LED照明、液晶显示、光学仪器等领域得到了广泛的应用,但其结构细微复杂且形状表面质量要求高,其加工工艺技术研究引起了广泛的关注。本文提出压电陶瓷驱动结合柔性铰链作为刀架的快刀伺服装置,建立快刀伺服系统的机电耦合模型,研究各系统参数对系统性能的影响规律,基于有限元仿真对铰链结构参数进行优化;通过激光位移传感器测试刀具输出位移的线性度;利用研制的快刀系统和超精密车床在红铜材质的圆柱面上进行正弦网格微结构加工,加工结果表明所设计的快刀系统能够准确有效地加工出结构复杂的微结构阵列。     

反舰导弹目标毁伤预测的贝叶斯推断模型研究

导弹反舰作战是一种有效的非对称打击作战样式,目标毁伤预测在其中承担着关键一环.针对现有反舰导弹目标毁伤预测方法在计算代价或样本规模等方面的限制,在贝叶斯网络技术的框架下,提出一种用于目标毁伤预测的贝叶斯推断模型.该模型将导弹反舰作战的突防和毁伤等过程抽象成高层的概率语义,仅需少量样本数据就可驱动模型关键参数的学习过程,在实现目标毁伤预测的同时还附加有发射弹量规划能力.通过实验,验证了模型的可行性与有效性.     

选择算子对演化硬件进化速度影响的研究

演化硬件能使武器装备系统像生物一样改变自身的结构以适应环境的变化。介绍了演化硬件的基本理论,借助于数学推导,详细分析了选择算子对进化速度的影响,提出了一个提高进化速度的方法,并通过进化实验进行验证。     

修正秩非参量检测器在K分布海杂波中的应用

研究了广义符号修正秩检测器和Mann-Whitney修正秩检测器在K分布海杂波中对起伏雷达目标的检测性能,并分别与广义符号检测器和Mann-Whitney检测器的检测性能进行了比较.前两种修正秩检测器是通过设计秩统计量的逆正态得分函数来获得检验统计量,对积累分布函数连续且概率密度函数服从对称分布的数据具有恒虚警性能.     

基于云模型的无人机作战系统效能评估

对无人机作战系统进行效能评估有利于了解无人机的能力和不足,为无人机的后继研发提供有效依据。针对作战系统指标的相对性、模糊性与不确定性,通过层次分析法建立无人机作战系统效能评估的指标体系,采用云模型实现作战系统指标的定性属性与定量属性的相互结合与转换,结合专家打分法给出作战系统指标的定性权重和评价,并利用正态云拟合算法得出无人机作战系统的综合效能。通过实例分析,表明该方法具有可行性。     

MIMO雷达目标子空间建模与检测性能分析

针对具有分布孔径结构的MIMO雷达系统,建立了能描述空域和时域不确定性的目标子空间模型,即多维信号模型,并利用不变原理给出了这种MIMO雷达系统的最大不变检验统计量以及几种子空间检测器。对这些检测器性能的研究表明,目标子空间的维数以及各维上目标功率分布的均匀性对MIMO雷达系统的检测性能都有较大影响;与具有相同天线尺寸的相控阵雷达相比,在角闪烁目标的检测问题中,MIMO雷达系统除了具有非相参积累增益的优势以外,还具有较强的主瓣杂波抑制能力。     

攻方目标被守方兵器选中的概率研究

建立了不同情况下攻方目标被守方兵器随机选中概率的数学模型 ,初步分析了突防反突防问题、兵力分配问题及对抗问题 ,供进一步研究和试验参考     

激光大气数话同传系统的设计

给出了一套以激光作为信息传输的载体 ,单片机作为控制调度计算机 ,以 DSP作为高速语音压缩解压部件的激光大气数话同传系统设计。来自麦克风的语音信号经 A/ D转换后 ,由 DSP压缩成 2 .4kbps～ 9.6 kbps的串行数字信号 ,同时2 .4kbps～ 9.6 kbps的串行数字信号可由 DSP解压成 8k Hz13bit数字语音信号。经过压缩的语音数据和来自多串行口控制器的数据 ,通过单片机的协调 ,实现数据和语音信息在大气中的同时传输     

雷达情报串口传输质量检测与评估

在雷达情报处理系统中,大量采用串口通信方式传输雷达情报。雷达情报串口传输质量是雷达情报处理系统中需要考虑的问题。针对现状,探讨了三种检测和评估串口传输质量的方法即主动方式、被动方式和主被动结合方式,主被动结合检测与评估方法更适合应用于雷达情报处理系统。该方法结合物理层、数据链路层、报文层信息,从误码率、误帧/组率和错报率的角度进行分析,利用串口协议通信服务设备和报文产生器对雷达情报串口传输质量进行检测与评估,已成功应用于实际工程中,收到了较好的效果。